翻訳と辞書 |
Indiscrete category : ウィキペディア英語版 | Indiscrete category
An indiscrete category is a category ''C'' in which every hom set ''C''(''X'', ''Y'') is a singleton. Every class ''X'' gives rise to an indiscrete category whose objects are the elements of ''X'' with exactly one morphism between any two objects. Any two nonempty indiscrete categories are equivalent to each other. The functor from Set to Cat that sends a set to the corresponding indiscrete category is right adjoint to the functor that sends a small category to its set of objects. ==References==
抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)』 ■ウィキペディアで「Indiscrete category」の詳細全文を読む
スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース |
Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.
|
|